Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
411	Profile-Guided Static Typing for Dynamic Scripting Languages Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:39 Type theory Data types Scripting languages Control flow Eval Dynamic programming language Type system Reflection Ruby Software engineering Computing Computer programming
412	Once, Weakly: A Matter of Judgment A Matter of Judgment My new book, C++ Gotchas1 , has had pretty positive reviews, 2 but it contains one section that seems to send most everyone into paroxysms of rage, including the re Add to Reading List Source URL: www.stevedewhurst.com Language: English - Date: 2015-01-04 09:38:52 Cross-platform software Holism Procedural programming languages Subroutines Control flow Coroutine C Goto Structured programming Computing Computer programming Software engineering
413	Extracted from: Programming Ruby 1.9 The Pragmatic Programmers’ Guide This PDF file contains pages extracted from Programming Ruby 1.9, published by the Pragmatic Bookshelf. For more Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-01-31 14:04:12 Data types Procedural programming languages C++ Control flow Foreach loop Array data type List Array data structure Sequence container Computing Software engineering Computer programming
414	Supplementary Quiz Solutions Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2007-12-14 18:19:23 Sorting algorithms Control flow Procedural programming languages Numerical linear algebra Quicksort Science Pivot element ALGOL 68 Eval Computing Software engineering Computer programming
415	Extracted from: Programming Ruby 1.9 The Pragmatic Programmers’ Guide This PDF file contains pages extracted from Programming Ruby 1.9, published by the Pragmatic Bookshelf. For more Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-01-31 14:04:12 Control flow Scripting languages Ruby D Anagram Library Eval Foreach loop Computing Software engineering Computer programming
416	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:32:29 Python Control flow While loop Python syntax and semantics Computing Software engineering Computer programming
417	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics
418	Data Integrator Event Management Guide Pervasive Software, IncB Riata Trace Parkway Austin, TexasUSA Add to Reading List Source URL: docs.pervasive.com Language: English - Date: 2011-06-03 13:40:18 Event Subroutines Control flow Exception handling Action Software engineering Computing Computer programming
419	www.computing.me.uk Fortran 77 : 4. Relational and Logic Operators Relational operators in logical statements are used control the flow of code. In this document we simply consider the coding and results of relational o Add to Reading List Source URL: www.computing.me.uk Language: English - Date: 2010-10-04 16:47:44 Logical connectives Boolean algebra Procedural programming languages Propositional calculus Semantics Relational operator Operator Fortran FALSE Computing Software engineering Computer programming
420	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods

UPDATE